Wielki słownik angielsko-polski red. nacz D. Jemielniak, M. Miłkowski

(Noun) matematyka reductio ad absurdum, dowód nie wprost, sprowadzenie do sprzeczności;